| 1. | And formal verification is one form of static verification
其中形式验证是静态验证的一种。 |
| 2. | Formal verification of hybrid systems
混合系统的形式验证方法 |
| 3. | A secure , atomic electronic commerce protocol and its formal verification
原子的电子商务协议及其形式化验证 |
| 4. | Formal verification of hybrid systems and its application on chemical process control
逻辑控制器的形式验证及其应用 |
| 5. | By doing so , some beneficial contributions are made toward the formal verification of high level secure operating systems
从而对高安全级别操作系统的形式化验证进行了一些有益的探索。 |
| 6. | This paper analyses patial sequential theory of formal verification , states the principle of modeling complex systems
本文通过对形式验证中部分顺序理论的分析，阐述了通过串并行部序集描述复杂系统的原理。 |
| 7. | Or meaning of the uml modeling concepts remained inadequate for such mdd - oriented activities as automatic code generation or formal verification
（或含义）的规范，对这些作为自动代码生成或正式确认的基于mdd的活动仍旧是不适当的。 |
| 8. | The glossary significance finally manifests in the syntax structure by a certain form , the verb valence may carry on the formal verification in the syntax structure
词汇意义最终在句法结构中以一定形式体现出来，动词的价可以在句法结构中进行形式验证。 |
| 9. | The ccb chair and the originator determine whether formal verification of the change will be required , following the procedure in the verification section
变更控制委员会主席和发起人决定是否需要对变更进行正式的验证，具体的步骤在下面的验证部分中描述。 |
| 10. | A widely distributed software package that supports the formal verification of distributed systems - is an example of temporal logic model checking for hardware verification
一种支持分布式系统的正式验证且广泛发布的软件包是用于硬件验证的时态逻辑模型检查的示例。 |
